62.26/62.40	unsat
