stage3_clear
Sample infeasible solved