deterministic solve works