4.79/4.92	unsat
