[kaoD]

0.17mg/kg so 13.6mg for an 80kg individual. According to Wikipedia, there are 15(±5)mg of psilocybin per gram of dried shrooms.

So yeah that's a light dose but definitely noticeable.