Edit File: IN3smt