setting --opt-strategy=usc manually
setting --opt-strategy=usc manually

because it does not seem to be default in the python interface
(although it is in the solver, and it is much faster than bb)

hexhex/hexlite,hexhex/hexlite,hexhex/hexlite