let
enumsolver = !enumsolver