20171126 city.goa: Goa Board paper-setters to be penalized 5% for mistakes