[38648] solutions found
real    3m36.816s
user    3m28.169s
sys     0m2.624s