Problem

Source: Polish MO Finals 2014

Tags: contests, Diophantine equation, number theory



Find all pairs $(x,y)$ of positive integers that satisfy $$2^x+17=y^4$$.