TSTP Solution File: KRS116+1 by Mace4---1109a