TSTP Solution File: KLE089+1 by EQP---0.9e