0.89/2.44	unsat
