FIX: check for runsolver