Modify Mini2Sat.hpp