Who is to pay petition costs following settlement of petition debt?