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