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