1.37/2.87	unsat
