stars1m5..3cnf