20131014-02

UVA 12015: good example to use priority queue.