RUN: $(AssignmentTaskSizesSat)