paradiseo/problems/eval/maxSATeval.h