4.37/4.92	unsat
