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