8.86/8.92	unsat
