n = 4a + 7b