2.48/3.26	unsat
