9.80/9.87	unsat
