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