TSTP Solution File: KRS193+1 by DCTP---1.31