Consider the following code fragment: int a = 13, b = 6, c = 2; /** * @updates a, b, c * @maintains a / b = #c * @increases c 1 2 3 4 5 6 7 while (a + b != 30) { } What are possible values of x, y, and z at the end of the loop?