Changed directory for SATPLAN3