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