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