Debug: a = 8, b = 7
56