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