8.70/8.92	unsat
