Working on distributed exact algorithm