added code for Uva:10878