add oracle for problem 13