4.87/4.92	unsat
