TSTP Solution File: KLE009+4 by CARINE---0.734