65.39/65.63	unsat
