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