65.42/65.62	unsat
