random graph on 12 vertices