TSTP Solution File: KLE022+4 by Nitpick---2016