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