Factoring an integer quartic