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