62.58/65.86	unsat
