4.80/4.92	unsat
