Runtime: SMT2200RM2UNC