greater_equal does not work for priority queue