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