TSTP Solution File: ALG069-10 by SInE---0.4