A kurotto with the additional constraint that all the groups of shaded cells corresponding to a given are of different sizes. This rule need not apply to circles with unknown sizes.
Standard Kurotto rules: Shade some cells so that each circled number represents the total count of shaded cells in connected groups sharing an edge with that number. Cells with circles cannot be shaded.
Puzzle edited in Row 5 to fix the uniqueness issue.