TSTP Solution File: KLE007+3 by SETHEO---3.3