8.86/9.87	unsat
