7.73/7.77	unsat
