6.08/8.92	unsat
