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