Reduced row-echelon form and solution