* implement sat reader to be able to read SAT competition types of files.