All Minisat solve calls now return lbool (fixes bug 599)