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