6.37/9.92	unsat
