Added new minisat solving lbool function