Added is_main
Added positive_obj
Added printing of the solution