8.21/10.87	unsat
