2.48/2.52	unsat
