solve: 4x - 7 <= 9