61.82/65.87	unsat
