9.66/10.87	unsat
