[math-fun] another quantum factoring of 15