[Boost-users] unique sorted vector