6.73/6.83	unsat
