0.68/0.89	unsat
