8.76/8.82	unsat
