Update main.cpp

new parsesolution for minisat -> drawboard