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