cutting plane can be generated now, testing awaits
boolean operation done