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