Relex2logic readme

Cosmo, you should maybe have a look at the outstanding issues concerning the Satisfying Sets (those with #6XX) and see if any of them can be closed.