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