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