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