4.57/4.92	unsat
