17 6x u2265 4x 10