TSTP Solution File: ALG259^2 by SInE---0.4