#include <iostream>
#include <fstream>
#include <CGAL/basic.h>
#include <CGAL/QP_models.h>
#include <CGAL/QP_functions.h>
#ifdef CGAL_USE_GMP
#else
#endif
int main() {
std::ifstream in ("first_lp.mps");
Program lp(in);
assert (lp.is_valid());
assert (lp.is_linear());
std::cout << s;
return 0;
}