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