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