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