XSolve's code katas