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