avoid duplicate code by adding setup_picosat()