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