updated Sat API so that one functor instance corresponds to one problem
update random tests