方程x+4y等于12的非负整数解有几个?