9.76/9.89	unsat
