TSTP Solution File: BOO010-4 by SInE---0.4