solverのテスト環境を作成する

[togatoga]

SATな問題とUNSATな問題を解かせて、SATなら解を出力してそのモデルをcheckする。