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