2.48/3.20	unsat
