solving linear equations and linear inequalities sat