8.76/8.80	unsat
