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