12 seems to work, but takes a while