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