The top documents tagged [y optimal solution x]