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