add dReal task