9.60/9.80	unsat
