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