TSTP Solution File: ALG413-1 by SInE---0.4