TSTP Solution File: KLE050+2 by CARINE---0.734