\c=107  
\¬q1
\¬ms1