#include <CGAL/Exact_predicates_exact_constructions_kernel.h>
#include <CGAL/Nef_polyhedron_3.h>
#include <CGAL/Polyhedron_3.h>
#include <CGAL/draw_nef_3.h>
#include <fstream>
#include <iostream>
int main(int argc, char *argv[])
{
Polyhedron P1, P2;
ifs1 >> P1;
ifs2 >> P2;
Nef_polyhedron N1(P1);
Nef_polyhedron N2(P2);
return EXIT_SUCCESS;
}