system of linear equations SAT