求二元一次方程x+3y=20的非负数解