TSTP Solution File: ALG268^4 by SInE---0.4