More likely, using a solver, then they just have to type in the right words. It's the only explanation for getting over 400 points in such a short time....