set default to maximizing objective
fixed mistake in unsatisfiable penalizing constraint stub
tested AbstractProblem