Update Readme TU.
Remove satis dependencies.