写出满足方程x+2y=9的所有非负整数解