發送短信

數:

提供者:

CAPTCHA:

   _____     ___     _    _     _____     _  _   
  / ___//   / _ \\  | || | ||  |  ___||  | \| || 
  \___ \\  | / \ || | || | ||  | ||__    |  ' || 
  /    //  | \_/ || | \\_/ ||  | ||__    | .  || 
 /____//    \___//   \____//   |_____||  |_|\_|| 
`-----`     `---`     `---`    `-----`   `-` -`

Please enter what you see:

發送短信 : Considering circuit observability don't cares in CNF satisfiability