"Examples/maxsat.cnf" did not exist on "master"