8.72/8.88	unsat
