import time
start_time = time .time ( )
count, ans = 100 , ""
for a in range ( 1 , 10 ) :
for b in range ( 1 , 10 ) :
for c in range ( 1 , 10 ) :
for d in range ( 1 , 10 ) :
for e in range ( 1 , 10 ) :
res = str ( ( 10000 * a) + ( 1000 * ( 2 * b) ) + ( 100 * ( 3 * c) ) + ( 10 * ( 4 * d) ) + ( 5 * e) )
if ( len ( res ) == 5 ) and ( sorted ( [ a, b, c, d, e, int ( res[ 0 ] ) , int ( res[ 1 ] ) , int ( res[ 2 ] ) , int ( res[ 3 ] ) , int ( res[ 4 ] ) ] ) == [ 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 ] ) and ( ( a + b + c + d + e) < count ) :
count = a + b + c + d + e
ans = str ( a ) + str ( b ) + str ( c ) + str ( d ) + str ( e ) + res
print ans
print time .time ( ) - start_time
aW1wb3J0IHRpbWUKc3RhcnRfdGltZSA9IHRpbWUudGltZSgpCgpjb3VudCwgYW5zID0gMTAwLCAiIgpmb3IgYSBpbiByYW5nZSggMSwgMTAgKTogCglmb3IgYiBpbiByYW5nZSggMSwgMTAgKTogCgkJZm9yIGMgaW4gcmFuZ2UoIDEsIDEwICk6IAoJCQlmb3IgZCBpbiByYW5nZSggMSwgMTAgKToKCQkJCWZvciBlIGluIHJhbmdlKCAxLCAxMCApOgoJCQkJCXJlcyA9IHN0ciggKDEwMDAwICogYSkgKyAoIDEwMDAgKiAoMiAqIGIpICkgKyAoIDEwMCAqICgzICogYykgKSArICggMTAgKiAoNCAqIGQpICkgKyAoNSAqIGUpICkKCQkJCQlpZiAoIGxlbiggcmVzICkgPT0gNSApIGFuZCAoIHNvcnRlZCggWyBhLCBiLCBjLCBkLCBlLCBpbnQoIHJlc1swXSApLCBpbnQoIHJlc1sxXSApLCBpbnQoIHJlc1syXSApLCBpbnQoIHJlc1szXSApLCBpbnQoIHJlc1s0XSApIF0gKSA9PSBbMCwgMSwgMiwgMywgNCwgNSwgNiwgNywgOCwgOV0gKSBhbmQgKCAoYSArIGIgKyBjICsgZCArIGUpIDwgY291bnQgKToKCQkJCQkJY291bnQgPSBhICsgYiArIGMgKyBkICsgZQoJCQkJCQlhbnMgPSBzdHIoIGEgKSArIHN0ciggYiApICsgc3RyKCBjICkgKyBzdHIoIGQgKSArIHN0ciggZSApICsgcmVzCnByaW50IGFucwpwcmludCB0aW1lLnRpbWUoKSAtIHN0YXJ0X3RpbWU=