64.72/65.87	unsat
