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