#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_qp.mps");
  Program qp(in);         
  assert (qp.is_valid()); 
  
  
  std::cout << s; 
  return 0;
}