k.3, correct problem statement template rewriteSolve