Experimenting with unamb with explicit scheduling