implement heuristic (prop 9 from Fukuda)