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