added code for Uva:11942