Algebra... no it's Combinatorics

Consider all pairs $$(a, b)$$ such that $$a^{2}+b^{2} \leq 4.$$ One of these pairs is randomly chosen, and the probability that $$a+b \leq 1$$ is $$x.$$ Find the closest integer to $$1000x.$$

×