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