Martin Lukarevski, a super-hard problem published by Cambridge:

Let m be an arbitrary integer and let k=3m+1. Find all integer solutions x and y of the equation
(x + y − k)(x + y + k)=1+xy.