0.88/1.44	unsat
