给定下列程序，那么执行printf("%d\n", foo(12, 20));的输出结果是________。 int foo(int x, int y){ if (x <= 0 || y <= 0) return 1; return 3 * foo( x-6, y/2 ); }
9
13
5
18
