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