5+7+22 = 12 + k7