6.32/9.92	unsat
