7.73/8.82	unsat
