solve 2x-3 <= 7