2.48/2.82	unsat
