TSTP Solution File: KLE142+1 by SETHEO---3.3