TSTP Solution File: KLE052+1 by CARINE---0.734