方程x+3y=12的所有正整数解为