Solving linear inequations