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