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