let
bitsolver = !bitsolver