solver  1.0
 

- t -