8.88/8.92	unsat
