64.18/65.58	unsat
