7.88/8.69	unsat
