1.88/2.13	unsat
