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