2.48/4.92	unsat
