Solving a system with substitution 3