#3gmaxvNOT
12