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