Dodal sat solver ddl in bf