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