x+3y=7的非负整数的解有多少个?