Runtime: SMT2200RMI2UNC