\c=90  
\¬q3
\¬ms1