8.87/8.92	unsat
