Olympiad Geometry · Easy problem

Triangle $ABC$ is congruent to triangle $DEF$, with $\overline{AB}$ corresponding to $\overline{DE}$. If $AB = 3x - 1$ and $DE = 17$, find $x$.