discriminant of 12th cyclotomic polynomial