y=*--upper_bound(a.begin(),a.end(),x);