TSTP Solution File: KLE146+1 by Nitpick---2016