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