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