The top documents tagged [number of distinct solutions]