QBF
309
q
a 2 
d


q
e 30 
c


d


/d
/c
/q
c


/c
/d
/q
/c
/q
/d
/q
QBF
