12:06. Small optimizations that rely on rng can be made but a great time nonetheless. Solo tora is fun.