TSTP Solution File: KLE089+1 by Moca---0.1