All (x17+x13)