stars1j5..2cnf