Simple Algorithm Portfolio for SAT