set based evaluation - first order
add input file with same format as monpoly