Olympic Toán Trung cấp Úc 2015 Câu hỏi 5

Tìm số nguyên dương $y$ nhỏ nhất sao cho tồn tại số nguyên dương $x$ thỏa mãn $2^{13}+2^{10}+2^x=y^2$.

Chỉ ghi đáp số: một số nguyên không âm nhỏ hơn 1000.