TSTP Solution File: KLE170+1.002 by CARINE---0.734