8.92/9.87	unsat
