2.49/2.87	unsat
