TSTP Solution File: KRS169+1 by Refute---2015