5.82/7.92	unsat
