Атанас Димитров's submission of Positive Mex | CodeChef