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