Added tests for infeasible and unbounded. many solvers break.
Added trace