满足不等式x1+x2+x3≤7的非负整数解的个数是（）。