7.17/8.80	unsat
