2.47/2.50	unsat
