exact solver, random trees