TSTP Solution File: KLE147+2 by Nitpick---2016