4.58/4.92	unsat
