TSTP Solution File: AGT032^1 by SInE---0.4