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