Lower Bounds for Linear Satisfiability Problems