2.48/3.24	unsat
