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