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