adding test of an infeasible problem