init
set lucky 0
add 1
add 2
add 3
add 0
phase -3
solve
reset