4.98/6.92	unsat
