0.89/2.24	unsat
