62.20/62.44	unsat
