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