9.76/11.20	unsat
