Mikhail Kever's submission of Shortest Circuit Evaluation | CodeChef