[math-fun] Diophantine puzzle