2.48/3.50	unsat
