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