Some worked solutions to CodeChef problems