64.50/65.46	unsat
