so much better kind of working
now it will return unsatisfiable