SAT.Util.CNFIO.Reader