2.49/2.52	unsat
