Gethe : 2 smt,