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