LKLogic is live! Harvard MIT Maths Tournament 2000 | Solving system of equations