9.77/9.80	unsat
