uva 10129 and 10054