やった。 SCIPをMax-SAT Evaluation 2013 に投稿するの、OKもらえたっ。