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