SAT Instance reader.
* remove unecesary files.
domain classes.
* SatReader trait
* SatReader implementation.