9.76/10.87	unsat
