bundles/org.eclipse.equinox.p2.tests/testData/sat4j/Bug247567.opb

* #variable= 6 #constraint= 3  
*


explain:  x1 x2 x3 x4 x5 ;

* P 1.0.0 requires either PP 1.0.0 
-1 x2 +1 x1 >= 0;
* 1223597333557 0.0.0.1223597333557 requires either P 1.0.0 
-1 x3 +1 x2 >= 0;
 +1 x3 = 1;