6.73/7.07	unsat
