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