8a 2 1 5a u2264 20