1.07/2.87	unsat
