allow specifying initial solution for PBO/WBO/Max-SAT problems