65.61/67.64	unsat
