#P7767. Finding a MEX