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