TSTP Solution File: KLE170+1.002 by Nitpick---2016