TSTP Solution File: KLE050+2 by DCTP---1.31