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