SATPLAN ALPHA