Delete tutorial-ex0.smt