Constraint: Overlap 1D.
Number of solutions: 4396814
Number of samplings: 1000000000
Estimated percent solutions: 0.439681
