Update note_of_SMT.md