求二元一次方程组x+3y=7的非负整数解的个数