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