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