the sum of 5x and 2x is at least 14