参考答案：C

解析： 题目中的循环为“直到型”循环，至少做1次，选项A可以被排除；程序首先执行循环体，得到x=11，y=20，然后计算终止条件值为true，而x和y的值分别改变为12和19：接着进行第二次循环，执行循环体，得到x=13，y=7，然后计算终止条件值为false，退出循环，因此执行了2次循环，答案为选项C。