Abhinav's submission of Tautology | CodeChef