TSTP Solution File: SEU440+4 by Refute---2015