64.05/65.53	unsat
