TSTP Solution File: SEU776^2 by Refute---2015