0.88/2.40	unsat
