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