Well, almost got it right... . But then it seems like it just preferred to get an integer solution in step 5... .