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