What is the output of the following code snippet?

int main() {
    int a = 5, b = 6, c;
    c = a++ + ++b;
    printf("%d %d %d", a, b, c);
    return 0;
}