negative rhs test infeasible