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