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