GC naar SMT