Added MVP, fixed a bug in reading CNF file (for intel case study)