2.48/6.50	unsat
