9.86/9.92	unsat
