TSTP Solution File: SEU322+1 by Refute---2015