Test case 12 is working