modified puzzler12.js and added puzzler12-sol.js