added maxsat results