9.76/9.82	unsat
