TSTP Solution File: KLE089+1 by Paradox---4.0