Hi yogesh,

Welcome to the Forum!

I suspect that the 5/6 is a hard constraint - but I don't quite know how to prove it

The program deals only with circles while Venn diagrams could be elliptical - an elliptical configuration would be solvable, but I don't know how to write that