Power up to 1000

Find $x+y$, where $2^x\times5^y=1000$
Exploring and noticing Working systematically Conjecturing and generalising Visualising and representing Reasoning, convincing and proving
Being curious Being resourceful Being resilient Being collaborative

Problem



Find $x+y$, where $2^x\times5^y=1000$

This problem is taken from the World Mathematics Championships