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