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